конечно аксиоматизируемое многообразие

Mathematics: finitely axiomatizable variety